ОБ ОДНОЙ МЕТОДИКЕ ПРОЕКТИРОВАНИЯ СУПЕРВИЗОРНОГО УПРАВЛЕНИЯ
ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ 

Дубинин Виктор Николаевич, кандидат технических наук, доцент, кафедра вычислительной техники, Пензенский государственный университет, victor_n_dubinin@yahoo.com

519.714

В работе предлагается методика проектирования супервизоров для предотвращения запрещенных состояний для неуправляемых и управляемых дискретно-событийных систем. Рассматриваются вопросы поиска и навигации по пространству состояний в прямом и обратном направлениях, вычисления шагов в линейной структуре. Затронуты вопросы реализации систем безопасности. Приводится пример системы двух выталкивателей для демонстрации предложенной методики.

Ключевые слова

дискретно-событийные системы, супервизорное управление, сетевые системы «условие–событие», запрещенная маркировка, методика проектирования, линейный шаг, частичная маркировка, выталкиватель, граф достижимости критических маркировок.

 Скачать статью в формате PDF

1. Ramadge, P. J. The Control of Discrete Event Systems / P. J. Ramadge, W. M. Wonham // Proc. IEEE. – 1989. – V. 77. – Issue 1. – P. 81–98.
2. Uzam, M. A New Petri-Net-based Synthesis Technique for Supervisory Control of Discrete Event Systems / M. Uzam, A. H. Jones // Turk. J. Elec.Engin. – V. 10. – № 1. – 2002.
3. Hanisch, H.-M. Synthesis of Supervisory Controllers Based on a Novel Representation of Condition/Event Systems / H.-M. Hanisch, M. Rausch // IEEE Int. Conf. on Systems, Man and Cybernetics. – Vancouver, Canada, 1995.
4. Missal, D. Synthesis of distributed controllers by means of a monolithic approach / D. Missal, H.-M. Hanisch // Proc. 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA’2006). – Prague, 2006. – P. 356–363.
5. Ду бинин, В. Н. Реверсивные частично маркированные sNCES-сети / В. Н. Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 2. – C. 22–31.
6. Ду бинин, В. Н. Использование реверсивных частично маркированных sNCES-сетей в синтезе контроллеров безопасности для дискретно-событийных систем / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2008. – № 1. – С. 25–35.
7. Ду бинин, В. Н. Об одной методике проектирования супервизоров для предотвращения запрещенных состояний в дискретно-событийных системах / В. Н. Дубинин // Современные информационные технологии : труды Международной научно-технической конференции. – Вып. 8. – Пенза, 2008. – С. 143–159.
8. Dubinin, V. Event graph-based approach to interpretation of NCES models / V. Dubinin, H.-M. Hanisch, D. Missal // Новые информационные технологии и системы : труды VII Международной научно-технической конференции. – Пенза, 2006. – Ч. 1. – С. 172–186.
9. Pinzon, L. A comparative study of synthesis methods for discrete event controllers / L. Pinzon, M. Jafari, H.-M. Hanisch, T. Boucher. – Rutcor Research Report : Rutgers University, 1997. – 54 p.
10. Ду бинин, В. Н. Интерпретация реверсивных частично маркированных sNCES-сетей / В. Н. Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – C. 23–34.